Simulation d'un transistor MOS silicium-sur-isolant à désertion profonde avec contrôle du potentiel arrière

Contribution à l'étude du contrôle optimal stochastique

Sur la préparation du vaccin antipestique desséché, hors du laboratoire, avec un materiel simplifié.

Sécurisation matérielle du contrôle d'accès à des documents XML

The erosion of trust put in traditional database servers and in Database Service Providers, the growing interest for different forms of data dissemination and the concern for protecting children from suspicious Internet content are different factors that lead to move the access control from servers to clients. Several encryption schemes can be used to serve this purpose but all suffer from a st...

Une Technique de Validation de Protocoles basée sur une Exploration avec Retour arrière des Automates Complexes

Résumé L’analyse d’accessibilité est généralement l’approche utilisée pour la validation des protocoles. Le problème posé par l’application de cette technique est celui de l’explosion combinatoire. Dans cet article, nous proposons une nouvelle technique de validation de protocoles appelée Reverse Leaping Reachability Analysis (RLRA). Au lieu de parcourir tout l’espace des états de protocole, no...

Modeling and Simulation of Mos Transistor Mismatch

The paper is an overview of MOS transistor mismatch modeling and simulation over the existent literature. The fluctuations of physical parameters and line width are the main causes of mismatch. There are two types of mismatch. Systematic mismatch can be reduced to great extent with proper layout. Different patterns are available, that are able to reduce from linear to n-th order polynomial syst...